<html>
<body>
Adds an option to disable syntax check.
Useful for large diagrams.
</body>
</html>
